Having an element
a
which is a generator, i.e., for
which
.